formal implication

un. 〔逻〕形式蕴涵